select * from students where not marks=80;